$primary-color: red;

$desk-background1: rgba(32, 32, 32, 0.75);
$desk-background2: rgba(255, 255, 255, 0.1);

$right-mouse-menu-background: rgba(32, 32, 32, 0.75);
$right-mouse-menu-width: 220px;
$right-mouse-menu-height: 184px;

$hover-background1: rgba(255, 255, 255, 0.25);
$hover-background2: rgba(255, 255, 255, 0.15);

$window-border-color: #555;
$window-header-height: 32px;
$window-background: #303030;

$border-color1: #eee;

$scrollbar-thumb1: #999;
$scrollbar-thumb2: #ddd;

$start-tools-bar-height: 48px;

$start-menu-width: 600px;
$start-menu-height: 550px;

$content-min-width: 710px;

$view-border-color: #555;

$font-color1: #fff;
$font-color2: #555;

:export {
  startToolsBarHeight: $start-tools-bar-height;
  rightMouseMenuWidth: $right-mouse-menu-width;
  rightMouseMenuHeight: $right-mouse-menu-height;
}
